non-recursiv相关论文
构式语法(construction grammar)在汉语语法学界已引起持续关注,但在自然语言处理领域,将构式语法理论应用到计算机自动句法语义分......
使用形式化方法PAR及循环不变式开发新策略,开发了Hanoi塔问题非递归算法.并对其进行了形式化的正确性证明。直接面向非递归算法,在得......